A Novel Approach for Web Services Composition and Verification
نویسندگان
چکیده
Web services are a very appropriate communication mechanism to perform distributed business processes among several organizations. A concept of service composition, combining existing Web services easily as our needs change, is one of the key features of the technology. Many new standards have been defined to solve web service composition problem, for example BPEL4WS. BPEL4WS provides an initial work for forming an XML specification language for defining and implementing business process workflows for web services. The main problems with most practical approaches to service composition are the verification of correctness of service composition. It has to depend on formal verification method which helps to check the correctness of services composition. The proposed system concentrates on both composition and verification of web services. In this paper, an algorithm is introduced for the verification of web services composition using Muller Automata. The web services are composed using BPEL4WS and it is transformed into Promela (It is the input language of SPIN model checker). Finally, verification algorithm is designed and verified using Muller automata.
منابع مشابه
A model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملSemantic Constraint and QoS-Aware Large-Scale Web Service Composition
Service-oriented architecture facilitates the running time of interactions by using business integration on the networks. Currently, web services are considered as the best option to provide Internet services. Due to an increasing number of Web users and the complexity of users’ queries, simple and atomic services are not able to meet the needs of users; and to provide complex services, it requ...
متن کاملA Novel Approach for Verifying Web Services Composition Using Muller Transition Algorithm
Web Services are a very appropriate communication mechanism to perform distributed business processes among several organizations. A concept of service composition, combining existing Web services together to from new valed added services. The main problem is the verification of the Composed Web Services. It has to depend on formal verification method which helps to check the correctness of Ser...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA Bounded Model Checking Approach for the Verification of Web Services Composition
In this paper, we propose a bounded model-checking based approach for the verification of declarative Web services composition processes using satisfiability solving (SAT). The need for the bounded model-checking approach stems from the nature of declarative processes as they are defined by only specifying the constraints that mark the boundary of the solution to the composition process. The pr...
متن کامل